10 data-"https:" "https:" "https:" "https:" "https:" "https:" "https:" positions at Institute of Cellular Biology and Pathology "Nicolae Simionescu" in France

Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 17 days ago

Tollitte Changing Data Representation within the Coq System, Nicolas Magaud Changing Data Structures in Type Theory:A Study of Natural Numbers, Nicolas Magaud and Yves Bertot Where to apply Website https

PhD position in Chemistry (M/F)

CNRS | Gif sur Yvette, le de France | France | 9 days ago

ExperienceNone Research FieldPhysicsYears of Research ExperienceNone Additional Information Website for additional job details https://emploi.cnrs.fr/Offres/Doctorant/UMR3685-LUCANT-001/Default.aspx Work Location

Post-doctoral position in molecular chemistry (M/F) - Homogeneous catalysis and synthetic methodology

CNRS | Gif sur Yvette, le de France | France | 9 days ago

15 Jan 2026 Job Information Organisation/Company CNRS Department Nanosciences et innovation pour les matériaux, la biomédecine et l'énergie Research Field Chemistry Physics Researcher Profile First

Numerical analysis of fully explicit phase-field models for dynamic fracture of materials H/F

CEA | Corbeil Essonnes, le de France | France | about 24 hours ago

field modeling of brittle fracture: Part I—Theory and simulations, Journal of the Mechanics and Physics of Solids, Volume 121, 2018, Pages 81-98, https://doi.org/10.1016/j.jmps.2018.07.010. [2] Lamia

Post-doctoral position in the ERC Advanced Grant “SPRING” on molecular machines and motorized self-assemblies

University of Strasbourg | Strasbourg, Alsace | France | 17 days ago

5 Jan 2026 Job Information Organisation/Company University of Strasbourg Department CNRS - Institut Charles Sadron Research Field Chemistry » Organic chemistry Chemistry » Physical chemistry

Experimental PhD in quantum optomechanics (M/F)

CNRS | Talence, Aquitaine | France | about 2 months ago

FieldPhysicsYears of Research ExperienceNone Additional Information Website for additional job details https://emploi.cnrs.fr/Offres/Doctorant/UMR5798-NICBAC-008/Default.aspx Work Location(s) Number of offers

Starting research position F/M Training and using LLM as proof assistant assistants

Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 3 months ago

with Reinforcement Learning https://arxiv.org/abs/2504.11354 Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction https://arxiv.org/abs/2508.03613 Solving

PhD student position (f/m/d) - AI for Healthcare - Multimodal Vision and Language Models for Surgical Activity Understanding

Institute of Image-Guided Surgery of Strasbourg | Strasbourg, Alsace | France | 2 months ago

18 Nov 2025 Job Information Organisation/Company Institute of Image-Guided Surgery of Strasbourg Research Field Computer science » Other Researcher Profile First Stage Researcher (R1) Positions PhD

Doctorate (M/F)

CNRS | Nice, Provence Alpes Cote d Azur | France | about 2 months ago

sciencesYears of Research ExperienceNone Additional Information Website for additional job details https://emploi.cnrs.fr/Offres/Doctorant/UMR7284-PATBRE-011/Default.aspx Work Location(s) Number of offers

PhD (M/F) – 36 months – genomics/microbiology (nutrition)

CNRS | Toulouse, Midi Pyrenees | France | 3 months ago

scienceYears of Research ExperienceNone Additional Information Additional comments The funding comes from the TIRIS Scaling Up program (SIGAPPEC project 307647) Website for additional job details https